<?php

function assignStr($name, &$var, $default) {
    $var = $_GET[$name] ?? $default;
    $var = strval($var);
}


assignStr("class", $class, "dddd");
assignStr("noticeType", $noticeType, -1);
assignStr("start", $start, 0);
assignStr("step", $step, 20);


include "query.php";


if (isset($records)) {
    echo json_encode($records);
}
